Your search returned 10 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Ieee Transactions On Software Engineering

Year : 1994 Volume number : 20 Issue: 10

Simulating The Behavior Of Software Modules By Trace Rewriting (Article)
Subject: Finite-State Machine (Fsm) , Formal Specification , Software Tools
Author: Yabo Wang      David Lorge Parnas     
page:      750 - 759
A Framework For Expressing The Relationships Between Multiple Views In Requirements Specification (Article)
Subject: Multiple Views , Specification , Method Engineering
Author: Bashar Nuseibeh      Jeff Kramer      Anthony C. W. Finkelstein     
page:      760 - 773
Prototyping A Process Monitoring Experiment (Article)
Subject: Prototyping , Process Monitoring , Process Analysis For All Composters.
Author: Mark G. Bradac      Dewayne E. Perry      Lawrence G. Votta     
page:      774 - 797
Swsl A Synthetic Workload Specification Language For Real Time Systems (Article)
Subject: Synthetic Wastewater , Performance And Ltmf , Real Time
Author: Daniel L. Kiskis      Kang G. Shin     
page:      798 - 811
Swsl A Synthetic Workload Specification Language For Real-Time Sysstems (Article)
Subject: Synthetic Workloads , Real-Time Workloads , Performance And Dependability Measurement Experiments
Author: Daniel L. Kiskis      Kang G. Shin     
page:      798 - 811
A Markov Chain Model For Statistical Software Trsting (Article)
Subject: Markov Chain , Test Case Generation
Author: James A. Whittaker      Michael G. Thomason     
page:      812 - 832
Schlumberger' Software Improvement Program (Article)
Subject: Sei , Process Improvement , Software Processes , Software Engineering
Author: Harvey Wohlwend      Susan Rosenbaum     
page:      833 - 839
Introducing Object Orientation Into Large And Complex Systems (Article)
Subject: Systems Architecture , Restructuring , Operating Systems
Author: Hanns-Helmuth Deubler      Meinhard Koestler     
page:      840 - 848
An Application Of Artificial Intelligence To Object Oriented Performance Design For Real-Time Systems (Article)
Subject: Artificial Intelligence , Qualitative Reasoning , Object-Oriented Design
Author: Shinichi Honiden      Kazuko Nishimura     
page:      849 - 867
On A Unified Reamework For The Evaluation Of Distribued Quorum Attainment Protocols (Article)
Subject:
Author:
page:      868 - 883